Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes

The verification of the behavior of Collaborative Business Processes is an important aspect to consider when developing inter-organizational systems. In this work, a verification approach for the control flow of collaborative processes based on anti-patterns is proposed to improve the performance of verification. The approach supports the verification of complex constructs for advanced synchronization, multiple instances, and exception management. To this aim, 10 anti-patterns were defined from a repository of process models, and a tool which implements the anti-patterns was developed to evaluate the verification approach. Results indicate that, at worst, the verification time is less than half a millisecond, even for models with complex control flow constructs.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes

The verification of the behavior of Collaborative Business Processes is an important aspect to consider when developing inter-organizational systems. In this work, a verification approach for the control flow of collaborative processes based on anti-patterns is proposed to improve the performance of verification. The approach supports the verification of complex constructs for advanced synchronization, multiple instances, and exception management. To this aim, 10 anti-patterns were defined from a repository of process models, and a tool which implements the anti-patterns was developed to evaluate the verification approach. Results indicate that, at worst, the verification time is less than half a millisecond, even for models with complex control flow constructs.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Verification of Structured Processes: A Method Based on an Unsoundness Profile

The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification techniques based on state space exploration suffer, for large processes, the state space explosion problem. New techniques improved verification performance by structuring processes as trees. However, they do not support complex constructs for advanced synchronization and exception management. To cope with this issue we propose the definition of an unsoundness profile of a given process language, which specifies all possible combinations of control flow constructs that can lead to errors in the behavior of structured processes defined with such a language. In addition, we introduce the sequential and hierarchical soundness properties, which make use of this profile to determine soundness of a structured process with complex constructs in polynomial time. As an example, we defined an unsoundness profile for a subset of the BPMN language and verified the behavior of a BPMN process model.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Software Agent Architecture for Managing Inter-Organizational Collaborations

The growing importance of cooperation among organizations, as a result of globalization, current market opportunities and technological advances, encourages organizations to dynamically establish inter-organizational collaborations. These collaborations are carried out by executing collaborative business processes among the organizations. In this work we propose an agent-based software architecture for managing inter-organizational collaborations. Two types of agents are provided: the Collaboration Administrator Agent and the Process Administrator Agent. The former allows organizations setting up collaborations. The latter allows organizations executing collaborative business processes. A Colored Petri Net model specifying the role, which an organization fulfills in a collaborative process, is used to carry out the behavior of the Process Administrator Agent that represents the organization. Planning and execution of the actions of the Process Administrator Agents are driven by a Colored Petri Net machine embedded to them. Thus, Process Administrator Agents do not require to have defined at design-time the protocols they can support. In addition, we propose a model-driven development method for generating Colored Petri Net models from a collaborative process model defined as interaction protocol. Finally, an implementation of the agent-based software architecture and methods based on model-driven development are presented.La creciente importancia de la cooperación entre las organizaciones, como consecuencia de la globalización, las oportunidades actuales de mercado y los avances tecnológicos, alienta a las organizaciones a establecer en forma dinámica colaboraciones inter-organizacionales. Estas colaboraciones se llevan a cabo mediante la ejecución de procesos de negocio colaborativos entre las organizaciones. En este trabajo de investigación se propone una arquitectura basada en agentes de software para la gestión de colaboraciones inter-organizacionales. La arquitectura provee dos tipos de agentes: el Agente Administrador de Colaboraciones y el Agente Administrador de Proceso. El primer agente permite a las organizaciones a establecer colaboraciones. El segundo agente habilita a las organizaciones ejecutar procesos de negocio colaborativos. El rol que una organización desempeña en un proceso colaborativo es especificado mediante un modelo de redes de Petri coloreadas. Este modelo es usado para dirigir el comportamiento del Agente Administrador de Proceso, el cual representa a una organización. La ejecución de los planes y las acciones del Agente Administrador de Proceso son dirigidas mediante una máquina de redes de Petri coloreadas embebida en el agente. Entonces, los Agentes Administrador de Proceso no requieren tener definido en tiempo de diseño los protocolos que dan soporte a su comportamiento. Adicionalmente, se propone un método basado en el desarrollo dirigido por modelos para la generación en forma automática de modelos de redes de Petri coloreadas a partir de un modelo de procesos de negocio colaborativo definido como protocolo de interacción. Finalmente, la implementación de la arquitectura y los métodos basados en el desarrollo dirigido por modelos son presentados.Fil: Tello Leal, Edgar. Universidad Autónoma de Tamaulipas; MéxicoFil: Chiotti, Omar Juan Alfredo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Villarreal, Pablo David. Universidad Tecnologica Nacional. Facultad Regional Santa Fe. Centro de Investigacion y Desarrollo de Ingenieria En Sistemas de Informacion; Argentin

Un modelo de referencia para definir la perspectiva organizacional de modelos de workflows

El soporte que las herramientas de modelado y sistemas de gestión de workflows brindan a la perspectiva organizacional es limitado. Esto se debe a la falta de herramientas que permitan entender los requerimientos de distribución de trabajo definidos en un modelo de workflow. Este trabajo presenta un modelo de referencia que da soporte a la definición de la perspectiva organizacional de los modelos de workflows. El modelo provee un conjunto de atributos de actividad que permiten identificar los patrones de recursos aplicados en un modelo de workflow, como así también definir las políticas de distribución de trabajo entre los recursos en dicho modelo de workflowVI Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Cloud-based Platform for Collaborative Business Process Management

With the wide adoption of the Internet, organizations establish collaborative networks to execute Collaborative Business Processes (CBPs). Current approaches of Process-Aware Information Systems (PAISs) to implement and execute CBPs have shortcomings: high costs and complexity of IT infrastructure to deploy the PAISs; poor support for autonomy, decentralization, global view of message exchange and peer-to-peer interactions; and rigid platforms for generating and deploying PAISs on-demand according with the CBPs agreed in collaborative networks. To overcome these issues, this work proposes a cloud-based platform for the management of CBPs. The platform provides cloud services that enable the generation and deployment on-demand of the PAISs required to implement the agreed CBPs, as well as the execution on-demand of CBPs by fulfilling the abovementioned issues. To deal with privacy issues, the platform can be deployed in private clouds. Elasticity is provided at the level of process instances and portability is also achieved.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Un modelo de referencia para definir la perspectiva organizacional de modelos de workflows

El soporte que las herramientas de modelado y sistemas de gestión de workflows brindan a la perspectiva organizacional es limitado. Esto se debe a la falta de herramientas que permitan entender los requerimientos de distribución de trabajo definidos en un modelo de workflow. Este trabajo presenta un modelo de referencia que da soporte a la definición de la perspectiva organizacional de los modelos de workflows. El modelo provee un conjunto de atributos de actividad que permiten identificar los patrones de recursos aplicados en un modelo de workflow, como así también definir las políticas de distribución de trabajo entre los recursos en dicho modelo de workflowVI Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Verification of Structured Processes: A Method Based on an Unsoundness Profile

The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification techniques based on state space exploration suffer, for large processes, the state space explosion problem. New techniques improved verification performance by structuring processes as trees. However, they do not support complex constructs for advanced synchronization and exception management. To cope with this issue we propose the definition of an unsoundness profile of a given process language, which specifies all possible combinations of control flow constructs that can lead to errors in the behavior of structured processes defined with such a language. In addition, we introduce the sequential and hierarchical soundness properties, which make use of this profile to determine soundness of a structured process with complex constructs in polynomial time. As an example, we defined an unsoundness profile for a subset of the BPMN language and verified the behavior of a BPMN process model.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes

The verification of the behavior of Collaborative Business Processes is an important aspect to consider when developing inter-organizational systems. In this work, a verification approach for the control flow of collaborative processes based on anti-patterns is proposed to improve the performance of verification. The approach supports the verification of complex constructs for advanced synchronization, multiple instances, and exception management. To this aim, 10 anti-patterns were defined from a repository of process models, and a tool which implements the anti-patterns was developed to evaluate the verification approach. Results indicate that, at worst, the verification time is less than half a millisecond, even for models with complex control flow constructs.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Arquitectura distribuida para un sistema soporte de decisiones globales

En este trabajo presentamos el diseño de una arquitectura distribuida para un Sistema Soporte de Decisiones global prototipo en desarrollo en el GIDSATD (Grupo de Investigación y desarrollo de Sistemas de Ayuda a la Toma de Decisiones). El prototipo del SSD consta de doce módulos diseñados para operar en forma “autónoma”. En este trabajo presentamos la arquitectura distribuida propuesta para el SSD, describiendo la partición del sistema, los requerimientos de cada módulo y un esquema de interacción. El modelo propuesto para la distribución del SSD global prototipo se ha basado en un mecanismo de comportamiento orientado a eventos, el cual ha permitido lograr una arquitectura en la que cada módulo se mantiene relativamente autónomo cooperando entre sí a través de un esquema de interacción que establece un bajo nivel de acoplamiento. De esta manera, logramos reflejar la forma natural de trabajo del sistema. Para esto, el diseño de la arquitectura de distribución del SSD no se ajustó a las características de un estilo arquitectónico definido, sino que se buscó el modelo más apropiado para el SSD. Por esta razón dicho modelo no satisface todas las características de un estilo. Además, el diseño se ha realizado de modo independiente de la tecnología de comunicación utilizada para implementarlo. Finalmente, para implementar la arquitectura distribuida propuesta para el SSD prototipo, se decidió utilizar la tecnología de Computación de Objetos Distribuidos, seleccionando al standard CORBA del OMG. Este tipo de middleware provee herramientas de alto nivel de abstracción para: Especificar interfaces orientadas a objetos que permiten definir los “contratos” entre los módulos del SSD y encapsularlos. Permite también establecer un esquema de comunicación asincrónico y desacoplado entre objetos de distintos módulos mediante un mecanismo denominado publicar/suscribir. De este modo, encontramos en esta tecnología el soporte a las características requeridas por el diseño propuesto.Sistemas Distribuidos - Redes Concurrencia - Sesión de póstersRed de Universidades con Carreras en Informática (RedUNCI